Flexible Module Operation Scheme in Formal Specification Process

In this paper, we describe a fundamental and important activity named “Specification Generation” in specification process which generates a specijcation from requirements, the output of the prior requirement process. We propose a new mechanism of specification languages which moderate requirements adding, deleting and changing. It follows our consideration concerning characteristics of requirements and requirements process. More concretely speaking, we provide a module operation mechanism of specafication languages. The mechanism modifies modules and resolves conflicts which occur in case of the module operation if needed. Although we realise the mechanism by enhancing a multi sort functional language in this paper, we claim that the mechanism can be generally applicable to any specification languages which have modularity because the key issue of the mechanism is not “functional language>’ but “operation on modules.”